La forme logique de la vie

Histoire de la notion de vie

but it has also involved a narrowing of the perspective. Few subjects more certainly demand an international perspective than war. To mention only a couple of facts that support this remark, let me remind the reader that: (1) as the aggressive interpretation of Darwinism was often presented as a typical German craze, something more should have been said on Germany at least; (2) there were natio...

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Complexité de la réduction en logique combinatoire

L'explication dans les sciences de la vie

his statement "Whether Greek is compulsory or not, Latin cannot be omitted from a good education" would receive other than partial support. He would have mourned the eclipse of King James I's version of the Bible by modern translations. This essay is of broad interest and can be recommended to all medical practitioners. It could be profitably entered into the already overcrowded undergraduate c...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...